-
1 вывод относительно проектирования
Programming: design corollaryУниверсальный русско-английский словарь > вывод относительно проектирования
-
2 доказывать
(= доказать, обосновать, показать, см. также проверять) prove, demonstrate, show, establish• В качестве более сложного примера мы докажем, что... - As a slightly harder example we prove that...• В общем случае можно доказать, что... - In general, it is possible to prove that...• В результате теперь достаточно лишь доказать, что... - Consequently it is enough to prove that...• Вдобавок можно доказать, что... - In fact it can be proved that...• Гильберт был первым, кто доказал, что... - Hilbert was the first to prove that...• Для того, чтобы доказать этот результат, мы должны, во-первых, вычислить... - In order to prove this result we must first calculate...• Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.• Полезность данной теории еще необходимо доказать. - The utility of this theory has yet to be demonstrated.• Иногда весьма трудно доказать, что... - It is sometimes quite difficult to prove that...• Исходя из этих сведений, легко доказать, что... - From these facts it is easy to prove that...• Итак, мы уже доказали, что... - We have thus proved that...• Мы все еще должны доказать, что... - We still must show that...• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...• Мы докажем, что... - We deduce that...• Мы доказали следующий результат. - We have proved the following result.• Мы можем доказать правильность соотношения (6), заметив, что... - We can prove the correctness of (6) by observing that...• Мы можем доказать это без (особого) труда. - We can prove this without difficulty.• Мы надеемся доказать гипотезу Смита в ближайшие годы. - We hope to prove Smith's conjecture within a few years.• Мы надеемся доказать, что... - We hope to prove that...• Мы надеемся удалить эти ограничения и доказать более общий результат. - We hope to remove these restrictions and prove a more general result.• Мы надеемся, что кто-нибудь докажет гипотезу Смита в ближайшие годы. - We hope that someone will prove Smith's conjecture within the next few years.• Мы не будем доказывать здесь чрезвычайно правдоподобное утверждение, что... - We will not prove here the very reasonable statement that...• Мы не предлагаем доказывать существование... - We do not propose to prove the existence of...• Мы только что доказали, что... - We have just proved that...• На этом пути мы надеемся доказать существенный результат. - We hope to prove a significant result along these lines.• Наконец, мы можем доказать, что... - Finally, we can prove that...• Остается доказать, (что)... - It remains to show (that)...• Подобное рассуждение доказало бы, что... - A similar argument would prove that...• Подобные принципы доказали свою полезность при проектировании... - Similar principles prove helpful in the design of...• Подобные рассуждения доказывают следующий результат. - Arguments of the same type prove the following result.• Подобные результаты убедительно доказывают, что... - Such results conclusively prove that...• Поняв это, мы можем доказать следующее. - With this understanding, we can prove the following.• Следовательно, можно доказать, что... -It is therefore justifiable to...• Следовательно, мы должны доказать лишь, что... - Hence we have only to prove that...• Сначала мы обязаны доказать следующую теорему. - We must first prove the following theorem.• Строго говоря, мы доказали лишь, что... - Strictly speaking, we have only proved that...;• Тем лее способом мы доказываем, что... - In the same way we prove that...• Теперь мы доказываем важную теорему, принадлежащую Банаху. - We now prove an important theorem due to Banach.• Теперь мы доказываем два фундаментальных результата. - We now prove two fundamental results.• Теперь мы доказываем один фундаментальный результат. - We now prove a fundamental result.• Теперь мы можем доказать следующую теорему. - This result enables us to prove the following theorem; We are now able to prove the following theorem; With this result in hand, we can prove the following theorem; With this understanding, we can prove the following theorem; Knowing this, we can prove the following theorem; We can now prove the following theorem; We are now in a position to prove the following theorem; The following theorem is now within our reach; We are now ready for the following theorem.• Теперь мы можем сформулировать и доказать... - We are now in a position to state and prove...• Теперь мы подготовлены к тому, чтобы сформулировать и доказать... - We are now equipped to state and prove...• Теперь это предположение доказано, так как... - This assumption has now been justified, since...• Часто бывает проще доказать, что... - It is often easier to prove that...• Чтобы доказать обратное, достаточно заметить, что... - То prove the converse it is sufficient to notice that...• Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...• Чтобы доказать это следствие... - То see the corollary, use Proposition 1 to obtain the needed estimation.• Чтобы доказать это утверждение, мы сделаем упрощающее предположение, что... - То prove this statement, we make the simplifying assumption that...• Чтобы доказать эту теорему, во-первых, предположим, что... - То prove the theorem, suppose first that...• Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...• Чтобы это доказать, нам остается лишь показать, что... - То prove this we need only show that...• Это доказывает лишь то, что... - This proves only that...• Это доказывает первое утверждение. - This proves the first assertion.• Это доказывает, что... - This proves that...• Это можно доказать следующим образом. - This may be proved as follows.• Этот подход доказал свою полезность в определении ранних стадий... - This approach has proven useful in identifying the early stages of...• что и требовалось доказать (= ч. т. д. ) - Q. E. D.
См. также в других словарях:
Coding theory approaches to nucleic acid design — DNA code construction refers to the application of coding theory to the design of nucleic acid systems for the field of DNA–based computation. Contents 1 Introduction 2 Definitions 2.1 Property U 2 … Wikipedia
Block design — In combinatorial mathematics, a block design (more fully, a balanced incomplete block design) is a particular kind of set system, which has long standing applications to experimental design (an area of statistics) as well as purely combinatorial… … Wikipedia
international relations — a branch of political science dealing with the relations between nations. [1970 75] * * * Study of the relations of states with each other and with international organizations and certain subnational entities (e.g., bureaucracies and political… … Universalium
John Derbyshire — (born June 3, 1945) is a British born author who lives in the United States and became a naturalized citizen in 2002. He is a columnist for the conservative magazines National Review Online and [http://www.newenglishreview.org/ New English… … Wikipedia
Manifest Destiny — For other uses, see Manifest Destiny (disambiguation). This painting (circa 1872) by John Gast called American Progress, is an allegorical representation of the modernization of the new west. Here Columbia, a personification of the United States … Wikipedia
List of eponymous laws — This list of eponymous laws provides links to articles on laws, adages, and other succinct observations or predictions named after a person. In some cases the person named has coined the law – such as Parkinson s law. In others, the work or… … Wikipedia
Gene Spafford — Eugene H. Spafford (born 1956) (known colloquially as Spaf ) is a professor of computer science at Purdue University and a leading computer security expert. A historically significant Internet figure, he is renowned for first analyzing the Morris … Wikipedia
Objectivism (Ayn Rand) — Objectivist philosophy redirects here. For other uses, see Objectivism (disambiguation). Objectivist movement … Wikipedia
Leibniz (from) to Kant — From Leibniz to Kant Lewis White Beck INTRODUCTION Had Kant not lived, German philosophy between the death of Leibniz in 1716 and the end of the eighteenth century would have little interest for us, and would remain largely unknown. In Germany… … History of philosophy
Maximum power principle — in Energy Systems Language adapted from Odum and Odum 2000, p. 38 The maximum power principle has been proposed as the fourth principle of energetics in open system thermodynamics, where an example of an open system is a biological cell.… … Wikipedia
GOD — IN THE BIBLE The Bible is not a single book, but a collection of volumes composed by different authors living in various countries over a period of more than a millennium. In these circumstances, divergencies of emphasis (cf. Kings with… … Encyclopedia of Judaism
